|Title of the article||
STRUCTURE VERIFICATION ALGORITHM OF A THREE-DIMENSIONAL ADAPTIVE APPLICATION
Evseeva Yuliya Igorevna, Postgraduate student, Penza State University (40 Krasnaya street, Penza, Russia), firstname.lastname@example.org
Background. The problem of creating an automated synthesis system of threedimensional adaptive applications (TDAA) is quite relevant now. Such system is especially useful in education, because it allows teachers, who do not have programming skills, to develop their own simulators and training programs. Such programs may use the advantage of three-dimensional graphics and the ability to adapt to a student. However, since such system involves working with an inexperienced user, it is necessary to develop methods of user's algorithmic solutions verification. The aim of this work is to develop such methods.
three-dimensional adaptive application, oriented hypergraph, software design, variability modeling, verification iterative algorithm.
1. Apel S., Batory D., Kästner C., Saake G. Feature-Oriented Software Product Lines: concepts and implementation. Berlin: Springer, 2013, pp. 36–45.
Дата обновления: 12.05.2016 12:28